Evaluating procedural alternatives: a case study in e-voting

Evaluating Procedural Alternatives in an E-voting Domain: Lesson Learned

The ProVotE project aims at actuating art. 84 of law 2 – 5/3/2003, which promotes the introduction of e-voting in Trentino for the next provincial elections (2008). To provide a smooth transition to the new way of voting ProVotE takes a multi-disciplinary approach that develops along different lines, among which, sociological, normative, organizational, and technological. Carrying out an electi...

A Methodology for Assessing Procedural Security: A Case Study in E-Voting

This paper presents a methodology for procedural security analysis in order to analyze and eventually try to make elections more secure. Our approach is based on modelling the electoral procedures in the form of business process models (which we write in a strict simplified subset of UML), systematically translate the models into executable formal specifications, and analyze the specifications ...

E-voting technology is not neutral!

Voting procedures and technologies have to guarantee that elections are free and secure. Most of the procedural safeguards rely on the social context of the ballot. E-voting may seriously change this. If voters consider the new technology as less privacy protecting, as less secure, and as less accountable, they may change their voting behavior. This may influence their decision whether to parti...

Common Voting Rules as Maximum Likelihood Estimators

Voting is a very general method of preference aggregation. A voting rule takes as input every voter’s vote (typically, a ranking of the alternatives), and produces as output either just the winning alternative or a ranking of the alternatives. One potential view of voting is the following. There exists a “correct” outcome (winner/ranking), and each voter’s vote corresponds to a noisy perception...

A Study of Factors that Influenced Voters’ Behaviour: A Case of Billiri Local Government (2019 General Elections)